Combinatorial species - PDFSEARCH.IO - Document Search Engine

Combinatorial species
Results: 32

#	Item
11	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:54 Functors Standard ML Sheaf Natural transformation Limit Combinatorial species Map Grothendieck topology Yoneda lemma Category theory Abstract algebra Mathematics
12	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
13	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Fold Symbol Interpretation Polymorphism First-order logic Combinatorial species Model theory Logic Software engineering
14	Sage Reference Manual: Discrete dynamics Release 6.6.beta0 The Sage Development Team Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:21 Combinatorics Musical set theory Post-tonal music theory Sage Interval Combinatorial species Transformation Music Mathematics Permutations
15	The Combinatorics of Non-determinism∗ ´ eric ´ Peschanski‡ . Olivier Bodini†, Antoine Genitrini‡and Fred [removed], {Antoine.Genitrini,Frederic.Peschanski}@lip6.fr. Add to Reading List Source URL: www-apr.lip6.fr Language: English - Date: 2013-12-05 10:18:28 Enumerative combinatorics Integer sequences Computational complexity theory Factorial Computation tree B-tree Combinatory logic Combinatorial species Tree Mathematics Combinatorics Discrete mathematics
16	Jeong-Hyun Kang Basic Information • The Department of Mathematics, University of West Georgia • Phone: [removed] • Email: [removed] • Webpage: www.westga.edu/∼jkang Add to Reading List Source URL: www.westga.edu Language: English - Date: 2011-12-05 11:38:01 Discrete mathematics Algebraic combinatorics Discrete geometry Combinatorial species Outline of combinatorics Combinatorics and physics Combinatorics Mathematics Graph theory
17	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2014-09-30 21:01:03 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic
18	COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Sciences Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-11-17 08:57:47 Ancient Greek language Diacritics Greek diacritics Koine Greek Enumerative combinatorics Emmy Noether Linguistics Orthography Dyslexia
19	Sage Reference Manual: Discrete dynamics Release 6.3 The Sage Development Team Add to Reading List Source URL: www.sagemath.org Language: English - Date: 2014-11-16 14:58:21 Combinatorics Musical set theory Post-tonal music theory Sage Interval Combinatorial species Transformation Music Mathematics Permutations
20	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: marshallplan.squarespace.com Language: English - Date: 2011-07-20 20:16:54 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic